Making Logical Form type-logical: Glue semantics for Minimalist syntax
نویسندگان
چکیده
منابع مشابه
Set-Oriented Logical Connectives: Syntax and Semantics
Of the common commutative binary logical connectives, only and and ormay be used as operators that take arbitrary numbers of arguments with order and multiplicity being irrelevant, that is, as connectives that take sets of arguments. This is especially evident in the Common Logic Interchange Format, in which it is easy for operators to be given arbitrary numbers of arguments. The reason is that...
متن کاملSmall CCC’s as Logical Forms for LFG Glue Semantics
In this brief note I will present a way to adapt the ‘semantic interpretation as a functor’ idea introduced independently but in similar forms by Lambek (1988) and Dougherty (1993) for Categorial Grammar to the rather different environment of LFG glue semantics’ (Dalrymple (2001), Asudeh (2004) and many other works). Pollard Pollard (2004) presents a somewhat different conception of semantic in...
متن کاملType - Logical Semantics ∗ Reinhard Muskens
Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between gra...
متن کاملLogical Semantics for Stability
Type assignment systems for λ-calculus based on intersection types are a general framework for building models of λ-calculus (known as filter-models) which are useful tools for reasoning in a finitary way about the denotational intepretation of terms. Indeed the denotation of a term is the set of types derivable for it and a type is a “finite piece” of information on such a denotation. This app...
متن کاملLogical Semantics for CafeOBJ
This paper presents the semantics of CafeOBJ system and language. CafeOBJ is a succesor of the famous algebraic specification and programming language OBJ but adding several new primitive paradigms to the traditional OBJ language, such as rewriting logic, and behavioural concurrent specification. We do not address here the detalied mathematical aspects of CafeOBJ semantics (which sometimes coul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linguistics and Philosophy
سال: 2018
ISSN: 0165-0157,1573-0549
DOI: 10.1007/s10988-018-9229-z